Optimal. Leaf size=263 \[ -\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}+\frac{64 b d^5 n \sqrt{d+e x}}{1155 e^4}+\frac{64 b d^4 n (d+e x)^{3/2}}{3465 e^4}+\frac{64 b d^3 n (d+e x)^{5/2}}{5775 e^4}-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}-\frac{64 b d^{11/2} n \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )}{1155 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.240274, antiderivative size = 263, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 7, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.304, Rules used = {43, 2350, 12, 1620, 50, 63, 208} \[ -\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}+\frac{64 b d^5 n \sqrt{d+e x}}{1155 e^4}+\frac{64 b d^4 n (d+e x)^{3/2}}{3465 e^4}+\frac{64 b d^3 n (d+e x)^{5/2}}{5775 e^4}-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}-\frac{64 b d^{11/2} n \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )}{1155 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 2350
Rule 12
Rule 1620
Rule 50
Rule 63
Rule 208
Rubi steps
\begin{align*} \int x^3 (d+e x)^{3/2} \left (a+b \log \left (c x^n\right )\right ) \, dx &=-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}-(b n) \int \frac{2 (d+e x)^{5/2} \left (-16 d^3+40 d^2 e x-70 d e^2 x^2+105 e^3 x^3\right )}{1155 e^4 x} \, dx\\ &=-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}-\frac{(2 b n) \int \frac{(d+e x)^{5/2} \left (-16 d^3+40 d^2 e x-70 d e^2 x^2+105 e^3 x^3\right )}{x} \, dx}{1155 e^4}\\ &=-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}-\frac{(2 b n) \int \left (215 d^2 e (d+e x)^{5/2}-\frac{16 d^3 (d+e x)^{5/2}}{x}-280 d e (d+e x)^{7/2}+105 e (d+e x)^{9/2}\right ) \, dx}{1155 e^4}\\ &=-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4}-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}+\frac{\left (32 b d^3 n\right ) \int \frac{(d+e x)^{5/2}}{x} \, dx}{1155 e^4}\\ &=\frac{64 b d^3 n (d+e x)^{5/2}}{5775 e^4}-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4}-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}+\frac{\left (32 b d^4 n\right ) \int \frac{(d+e x)^{3/2}}{x} \, dx}{1155 e^4}\\ &=\frac{64 b d^4 n (d+e x)^{3/2}}{3465 e^4}+\frac{64 b d^3 n (d+e x)^{5/2}}{5775 e^4}-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4}-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}+\frac{\left (32 b d^5 n\right ) \int \frac{\sqrt{d+e x}}{x} \, dx}{1155 e^4}\\ &=\frac{64 b d^5 n \sqrt{d+e x}}{1155 e^4}+\frac{64 b d^4 n (d+e x)^{3/2}}{3465 e^4}+\frac{64 b d^3 n (d+e x)^{5/2}}{5775 e^4}-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4}-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}+\frac{\left (32 b d^6 n\right ) \int \frac{1}{x \sqrt{d+e x}} \, dx}{1155 e^4}\\ &=\frac{64 b d^5 n \sqrt{d+e x}}{1155 e^4}+\frac{64 b d^4 n (d+e x)^{3/2}}{3465 e^4}+\frac{64 b d^3 n (d+e x)^{5/2}}{5775 e^4}-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4}-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}+\frac{\left (64 b d^6 n\right ) \operatorname{Subst}\left (\int \frac{1}{-\frac{d}{e}+\frac{x^2}{e}} \, dx,x,\sqrt{d+e x}\right )}{1155 e^5}\\ &=\frac{64 b d^5 n \sqrt{d+e x}}{1155 e^4}+\frac{64 b d^4 n (d+e x)^{3/2}}{3465 e^4}+\frac{64 b d^3 n (d+e x)^{5/2}}{5775 e^4}-\frac{172 b d^2 n (d+e x)^{7/2}}{1617 e^4}+\frac{32 b d n (d+e x)^{9/2}}{297 e^4}-\frac{4 b n (d+e x)^{11/2}}{121 e^4}-\frac{64 b d^{11/2} n \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )}{1155 e^4}-\frac{2 d^3 (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^4}+\frac{6 d^2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^4}-\frac{2 d (d+e x)^{9/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^4}+\frac{2 (d+e x)^{11/2} \left (a+b \log \left (c x^n\right )\right )}{11 e^4}\\ \end{align*}
Mathematica [A] time = 0.328016, size = 187, normalized size = 0.71 \[ \frac{2 \sqrt{d+e x} \left (-3465 a \left (-40 d^2 e x+16 d^3+70 d e^2 x^2-105 e^3 x^3\right ) (d+e x)^2-3465 b \left (-40 d^2 e x+16 d^3+70 d e^2 x^2-105 e^3 x^3\right ) (d+e x)^2 \log \left (c x^n\right )+2 b n \left (7863 d^3 e^2 x^2-5975 d^2 e^3 x^3-12794 d^4 e x+53308 d^5-57575 d e^4 x^4-33075 e^5 x^5\right )\right )-221760 b d^{11/2} n \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )}{4002075 e^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.572, size = 0, normalized size = 0. \begin{align*} \int{x}^{3} \left ( ex+d \right ) ^{{\frac{3}{2}}} \left ( a+b\ln \left ( c{x}^{n} \right ) \right ) \, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.50707, size = 1503, normalized size = 5.71 \begin{align*} \left [\frac{2 \,{\left (55440 \, b d^{\frac{11}{2}} n \log \left (\frac{e x - 2 \, \sqrt{e x + d} \sqrt{d} + 2 \, d}{x}\right ) +{\left (106616 \, b d^{5} n - 55440 \, a d^{5} - 33075 \,{\left (2 \, b e^{5} n - 11 \, a e^{5}\right )} x^{5} - 2450 \,{\left (47 \, b d e^{4} n - 198 \, a d e^{4}\right )} x^{4} - 25 \,{\left (478 \, b d^{2} e^{3} n - 693 \, a d^{2} e^{3}\right )} x^{3} + 6 \,{\left (2621 \, b d^{3} e^{2} n - 3465 \, a d^{3} e^{2}\right )} x^{2} - 4 \,{\left (6397 \, b d^{4} e n - 6930 \, a d^{4} e\right )} x + 3465 \,{\left (105 \, b e^{5} x^{5} + 140 \, b d e^{4} x^{4} + 5 \, b d^{2} e^{3} x^{3} - 6 \, b d^{3} e^{2} x^{2} + 8 \, b d^{4} e x - 16 \, b d^{5}\right )} \log \left (c\right ) + 3465 \,{\left (105 \, b e^{5} n x^{5} + 140 \, b d e^{4} n x^{4} + 5 \, b d^{2} e^{3} n x^{3} - 6 \, b d^{3} e^{2} n x^{2} + 8 \, b d^{4} e n x - 16 \, b d^{5} n\right )} \log \left (x\right )\right )} \sqrt{e x + d}\right )}}{4002075 \, e^{4}}, \frac{2 \,{\left (110880 \, b \sqrt{-d} d^{5} n \arctan \left (\frac{\sqrt{e x + d} \sqrt{-d}}{d}\right ) +{\left (106616 \, b d^{5} n - 55440 \, a d^{5} - 33075 \,{\left (2 \, b e^{5} n - 11 \, a e^{5}\right )} x^{5} - 2450 \,{\left (47 \, b d e^{4} n - 198 \, a d e^{4}\right )} x^{4} - 25 \,{\left (478 \, b d^{2} e^{3} n - 693 \, a d^{2} e^{3}\right )} x^{3} + 6 \,{\left (2621 \, b d^{3} e^{2} n - 3465 \, a d^{3} e^{2}\right )} x^{2} - 4 \,{\left (6397 \, b d^{4} e n - 6930 \, a d^{4} e\right )} x + 3465 \,{\left (105 \, b e^{5} x^{5} + 140 \, b d e^{4} x^{4} + 5 \, b d^{2} e^{3} x^{3} - 6 \, b d^{3} e^{2} x^{2} + 8 \, b d^{4} e x - 16 \, b d^{5}\right )} \log \left (c\right ) + 3465 \,{\left (105 \, b e^{5} n x^{5} + 140 \, b d e^{4} n x^{4} + 5 \, b d^{2} e^{3} n x^{3} - 6 \, b d^{3} e^{2} n x^{2} + 8 \, b d^{4} e n x - 16 \, b d^{5} n\right )} \log \left (x\right )\right )} \sqrt{e x + d}\right )}}{4002075 \, e^{4}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (e x + d\right )}^{\frac{3}{2}}{\left (b \log \left (c x^{n}\right ) + a\right )} x^{3}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]